Project-Team:TASC

Project-Team Tasc

Members

Overall Objectives

Objectives of the team

Research Program

Overview
Fundamental Research Topics

Application Domains

Introduction
Panorama

Highlights of the Year

New Software and Platforms

AIUR
CHOCO
GCCat
GCCat on time series
GHOST
TorchCraft

New Results

Discrete Convexity
Transducers
Compositional Glue Matrix and Bound for Time-Series Constraints
Reformulation of time-series constraint in MIP
Scheduling Constraint for Video Summarisation
A Model Seeker for Learning Constraints Models from Positive Samples
Global Constraint Catalog Volume II: Time-Series Constraints
Probabilistic Model for Binary CSP
Estimating parallel runtimes for randomized algorithms in constraint solving
ghost: A Combinatorial Optimization Framework for Real-Time Problems
TorchCraft: a Library for Machine Learning Research on Real-Time Strategy Games
POSL: A Parallel-Oriented metaheuristic-based Solver Language
Towards Automated Strategies in Satisfiability Modulo Theory
Using CP for the Urban Transit Crew Rescheduling Problem
Traveling salesman and the tree: the importance of search in CP
Event Selection Rules to Compute Explanations
Towards energy-proportional Clouds partially powered by renewable energy

Bilateral Contracts and Grants with Industry

Bilateral Contracts with Industry
Bilateral Grants with Industry

Partnerships and Cooperations

Regional Initiatives
National Initiatives
European Initiatives
International Initiatives
International Research Visitors

Dissemination

Promoting Scientific Activities
Teaching - Supervision - Juries
Popularization

Bibliography

Publications of the year
References in notes

Inria | Raweb 2016 | Presentation of the Project-Team TASC


	PDF	e-Pub

Previous |

Home | Next next

Section: Bilateral Contracts and Grants with Industry

Bilateral Contracts with Industry

Labcom TransOp

Participants : Charles Prud'Homme, Xavier Lorca.

Title: TransOp.
Duration: 2014-2016.
Type: ongoing project.
Others partners: Eurodécision.

The goal of the project is to handle robustness in the context of industrial timetabling problems with constraint programming using CHOCO. The project is managed by Xavier Lorca.

Previous |

Home | Next next